681. Ad-hoc, Mobile, and Wireless Network :
Author: edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
TK5103
.
2
E358
2013
682. Ad-hoc Networks and Wireless
Author: \ [Edited by] Miguel Garcia Pineda...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a04,a04,Ad hoc networks (Computer networks) -- Congresses.,Computer Communication Networks,شبکههای موردی -- کنگره ها ,شبکههای ارتباطی کامپیوتری
Classification :
TK
5105
.
77
.
A3
2015
E-Book
,
683. Ad-hoc networks and wireless: ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers
Author: Miguel Garcia Pineda ...]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science
Classification :
QA
76
.
L4
v
.
8629
684. Ada 95 :
Author: John English.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Object-oriented programming (Computer science),Ada (Computer program language),Ada (langage de programmation),ADA 95.,Object-oriented programming (Computer science),Objektorientierte Programmierung.,Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
E54
1997
685. Ada 95 :
Author: by David A. Wheeler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada 95,Ada 95 (Langage de programmation),Computer science.
Classification :
QA76
.
73
.
A35
B933
1997
686. Ada 95 Quality and Style
Author: edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit, Steven B. Opdahl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Software engineering.
687. Ada 2012 Rationale
Author: / John Barnes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
688. Ada 95 Reference Manual :
Author: edited by S. Tucker Taft, Robert A. Duff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Computer science.,Software engineering.,Ada (Computer program language),Computer science.,Software engineering.
Classification :
QA76
.
73
.
A35
A22
1995
689. Ada 2012 Reference Manual. Language and Standard Libraries
Author: / S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
690. Ada:concurrent programming
Author: GEHANI,NARAIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE( , PARALLEL PROGRAMMING )COMPUTER SCIENCE(
Classification :
QA
76
.
73
.
A35
G433
691. Ada plus data structures :
Author: Nell Dale, Susan C. Lilly, John McCormick.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
A35
D35
1996
692. Adaptable Embedded Systems
Author: / a, Luigi Carro (eds.)مa (auth.), Antonio Carlos Schneider Beck, Carlos Arthur Lang LisbمAntonio Carlos Schneider Beck, Carlos Arthur Lang Lisb
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE
Classification :
E-BOOK
693. Adaptation and Hybridization in Computational Intelligence
Author: / Iztok Fister, Iztok Fister Jr.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
Classification :
E-BOOK
694. Adaptation and Value Creating Collaborative Networks
Author: / Klen, Hamideh Afsarmanesh-Matos, Alexandra Pereira-Luis M. Camarinha
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
695. Adaptation based on learning style and knowledge level in e-learning systems
Author: Alshammari, Mohammad
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: QA75 Electronic computers. Computer science
696. Adapting configuration management for Agile teams : balancing sustainability and speed
Author: / Mario E Moreira
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
697. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
698. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
699. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
700. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
